#include "timers.h"

void tmr1Init()
{
    OpenTimer1(T1_ON | T1_SOURCE_INT | T1_PS_1_256,T1TICK);
    // set up the timer interrupt with a priority of 2
    ConfigIntTimer1(T1_INT_ON | T1_INT_PRIOR_2);
}
